منابع مشابه
Paraconsistent Logic
In some logics, anything whatsoever follows from a contradiction; call these logics explosive. Paraconsistent logics are logics that are not explosive. Paraconsistent logics have a long and fruitful history, and no doubt a long and fruitful future. To give some sense of the situation, I’ll spend Section 1 exploring exactly what it takes for a logic to be paraconsistent. It will emerge that ther...
متن کاملParaconsistent Computation Tree Logic Paraconsistent Computation Tree Logic * 1
It is known that paraconsistent logical systems are more appropriate for inconsistency-tolerant and uncertainty reasoning than other types of logical systems. In this paper, a paraconsistent computation tree logic, PCTL, is obtained by adding paraconsistent negation to the standard computation tree logic CTL. PCTL can be used to appropriately formalize inconsistency-tolerant temporal reasoning....
متن کاملParaconsistent Rough Description Logic
In this paper, we introduce a paraconsistent extension of Rough Description Logics which allows the representation of incomplete and contradictory concepts, as well as the lower and upper approximations of these kinds of concepts. Furthermore, we use the notions of approximations, which can be applied successively, to make restrictions or relaxations in the concept queries with the objective of...
متن کاملReal Analysis in Paraconsistent Logic
This paper begins an analysis of the real line using an inconsistencytolerant (paraconsistent) logic. We show that basic field and compactness properties hold, by way of novel proofs that make no use of consistencyreliant inferences; some techniques from constructive analysis are used instead. While no inconsistencies are found in the algebraic operations on the real number field, prospects for...
متن کاملParaconsistent logic and contradictory viewpoints
We start by recalling the definition of contradiction from the perspective of the square of opposition, emphasizing that it comes together with two other notions of oppositions, contrariety and subcontrariety. We then introduce the notion of paraconsistent negation as a non-explosive negation; we explain the connection with subcontrariety and why it is better not to talk of contradiction in cas...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Applied Logic
سال: 2005
ISSN: 1570-8683
DOI: 10.1016/j.jal.2004.07.013